(w32_read_socket): Update pending_signals.

diff --git a/src/w32term.c b/src/w32term.c
index 7ad7778feaaed4de882b14f2ac107c235ed727e2..bcdadc4b22be054bf51b7f75a4835e72b937722b 100644 (file)
--- a/src/w32term.c
+++ b/src/w32term.c
@@ -4078,10 +4078,12 @@ w32_read_socket (sd, expected, hold_quit)
   if (interrupt_input_blocked)
     {
       interrupt_input_pending = 1;
+      pending_signals = 1;
       return -1;
     }
 
   interrupt_input_pending = 0;
+  pending_signals = pending_atimers;
   BLOCK_INPUT;
 
   /* So people can tell when we have read the available input.  */